Typing Context-Dependent Behavioural Variation
نویسندگان
چکیده
منابع مشابه
Typing Context-Dependent Behavioural Variation
Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational issues remain unclear. This paper proposes adopting static analysis techniques to reason on and predict how programs adapt their behaviour. We introduce a c...
متن کاملTyping Context-Dependent Behavioural Variations
Context Oriented Programming (COP) is a hot topic nowadays. A number of programming languages endowed with COP features has been developed. However, some foundational issues remain unclear. This paper proposes adopting static analysis techniques to predict how programs may react in different execution environments. We introduce a core functional language, ContextML, equipped with COP primitives...
متن کاملBehavioural typing for safe ambients
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type sys-tem allows behavioral invariants of ambients to be expressed and verified. The most significant aspect ofthe type system is its ability to capture both explicit and implicit process and ambient behavior: processtypes account not only for immediate behavior, but also for the behavior r...
متن کاملA Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events presented to it. Suitable choice of semantics for state machines allow multiple machines to be composed in the description of a single object. We describe an extension to this approach whereby different machines in the c...
متن کاملModeling pronunciation variation with context-dependent articulatory feature decision trees
We consider the problem of predicting the surface pronunciations of a word in conversational speech, using a model of pronunciation variation based on articulatory features. We build context-dependent decision trees for both phone-based and feature-based models, and compare their perplexities on conversational data from the Switchboard Transcription Project. We find that a fully-factored model,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.109.5